1
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Tahun:
2009
Bahasa:
english
File:
PDF, 2.10 MB
0 / 0
english, 2009
2
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rudiger Olderog, Henning Dierks
Tahun:
2008
Bahasa:
english
File:
PDF, 12.36 MB
0 / 0
english, 2008
4
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Tahun:
1997
Bahasa:
english
File:
PDF, 9.05 MB
0 / 0
english, 1997
10
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Tahun:
2009
Bahasa:
english
File:
PDF, 8.45 MB
0 / 0
english, 2009
12
Provably Correct Systems

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Tahun:
2017
Bahasa:
english
File:
PDF, 9.41 MB
0 / 0
english, 2017
14
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Tahun:
1991
Bahasa:
english
File:
PDF, 6.94 MB
0 / 0
english, 1991